package org.matheclipse.core.integrate.rubi45;


import static org.matheclipse.core.expression.F.*;
import static org.matheclipse.core.integrate.rubi45.UtilityFunctionCtors.*;
import static org.matheclipse.core.integrate.rubi45.UtilityFunctions.*;
import org.matheclipse.core.interfaces.IAST;

/** 
 * IndefiniteIntegrationRules from the <a href="http://www.apmaths.uwo.ca/~arich/">Rubi -
 * rule-based integrator</a>.
 *  
 */
public class IntRules45 { 
  public static IAST RULES = List( 
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(Sqr(b),f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(CN1,Power(Times(Sqr(b),Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(b,Plus(m,C1),Plus(Times(Plus(Times(b,BSymbol),Times(CN1,a,CSymbol)),Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,ASymbol,b,Plus(Times(a,c),Times(CN1,b,d))))),Times(Plus(Times(b,BSymbol,Plus(Times(Sqr(a),d),Times(Sqr(b),d,Plus(m,C1)),Times(CN1,a,b,c,Plus(m,C2)))),Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b),Plus(m,C2)),Times(CSymbol,Plus(Sqr(a),Times(Sqr(b),Plus(m,C1))))))),Sin(Plus(e,Times(f,x)))),Times(CN1,b,CSymbol,d,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(Sqr(b),f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(CN1,Power(Times(Sqr(b),Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(b,Plus(m,C1),Plus(Times(Plus(Times(b,BSymbol),Times(CN1,a,CSymbol)),Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,ASymbol,b,Plus(Times(a,c),Times(CN1,b,d))))),Times(Plus(Times(b,BSymbol,Plus(Times(Sqr(a),d),Times(Sqr(b),d,Plus(m,C1)),Times(CN1,a,b,c,Plus(m,C2)))),Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b),Plus(m,C2)),Times(CSymbol,Plus(Sqr(a),Times(Sqr(b),Plus(m,C1))))))),Cos(Plus(e,Times(f,x)))),Times(CN1,b,CSymbol,d,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(Sqr(b),f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Sqr(b),Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(b,Plus(m,C1),Plus(Times(a,CSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(ASymbol,b,Plus(Times(a,c),Times(CN1,b,d))))),Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b),Plus(m,C2)),Times(CSymbol,Plus(Sqr(a),Times(Sqr(b),Plus(m,C1))))),Sin(Plus(e,Times(f,x)))),Times(b,CSymbol,d,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(Sqr(b),f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Sqr(b),Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(b,Plus(m,C1),Plus(Times(a,CSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(ASymbol,b,Plus(Times(a,c),Times(CN1,b,d))))),Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,Sqr(b),Plus(m,C2)),Times(CSymbol,Plus(Sqr(a),Times(Sqr(b),Plus(m,C1))))),Cos(Plus(e,Times(f,x)))),Times(b,CSymbol,d,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,d,Cos(Plus(e,Times(f,x))),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C3)),-1)),Times(Power(Times(b,Plus(m,C3)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Simp(Plus(Times(a,CSymbol,d),Times(ASymbol,b,c,Plus(m,C3)),Times(b,Plus(Times(BSymbol,c,Plus(m,C3)),Times(d,Plus(Times(CSymbol,Plus(m,C2)),Times(ASymbol,Plus(m,C3))))),Sin(Plus(e,Times(f,x)))),Times(CN1,Plus(Times(C2,a,CSymbol,d),Times(CN1,b,Plus(Times(c,CSymbol),Times(BSymbol,d)),Plus(m,C3))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CSymbol,d,Sin(Plus(e,Times(f,x))),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C3)),-1)),Times(Power(Times(b,Plus(m,C3)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Simp(Plus(Times(a,CSymbol,d),Times(ASymbol,b,c,Plus(m,C3)),Times(b,Plus(Times(BSymbol,c,Plus(m,C3)),Times(d,Plus(Times(CSymbol,Plus(m,C2)),Times(ASymbol,Plus(m,C3))))),Cos(Plus(e,Times(f,x)))),Times(CN1,Plus(Times(C2,a,CSymbol,d),Times(CN1,b,Plus(Times(c,CSymbol),Times(BSymbol,d)),Plus(m,C3))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Plus(c_,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,d,Cos(Plus(e,Times(f,x))),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C3)),-1)),Times(Power(Times(b,Plus(m,C3)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Simp(Plus(Times(a,CSymbol,d),Times(ASymbol,b,c,Plus(m,C3)),Times(b,d,Plus(Times(CSymbol,Plus(m,C2)),Times(ASymbol,Plus(m,C3))),Sin(Plus(e,Times(f,x)))),Times(CN1,Plus(Times(C2,a,CSymbol,d),Times(CN1,b,c,CSymbol,Plus(m,C3))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Plus(c_,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CSymbol,d,Sin(Plus(e,Times(f,x))),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C3)),-1)),Times(Power(Times(b,Plus(m,C3)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Simp(Plus(Times(a,CSymbol,d),Times(ASymbol,b,c,Plus(m,C3)),Times(b,d,Plus(Times(CSymbol,Plus(m,C2)),Times(ASymbol,Plus(m,C3))),Cos(Plus(e,Times(f,x)))),Times(CN1,Plus(Times(C2,a,CSymbol,d),Times(CN1,b,c,CSymbol,Plus(m,C3))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(Plus(Times(a,ASymbol),Times(CN1,b,BSymbol),Times(a,CSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1)),Times(Power(Times(b,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,Plus(Times(a,c,Plus(m,C1)),Times(CN1,b,d,Plus(Times(C2,m),n,C2)))),Times(BSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(Plus(Times(d,Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,Plus(Times(C2,m),C1)),Times(CN1,a,d,Plus(m,Negate(n),Negate(C1)))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(a,ASymbol),Times(CN1,b,BSymbol),Times(a,CSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1)),Times(Power(Times(b,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,Plus(Times(a,c,Plus(m,C1)),Times(CN1,b,d,Plus(Times(C2,m),n,C2)))),Times(BSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(Plus(Times(d,Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,Plus(Times(C2,m),C1)),Times(CN1,a,d,Plus(m,Negate(n),Negate(C1)))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(a,Plus(ASymbol,CSymbol),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1)),Times(Power(Times(b,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,Plus(Times(a,c,Plus(m,C1)),Times(CN1,b,d,Plus(Times(C2,m),n,C2)))),Times(CN1,CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(Plus(Times(a,ASymbol,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,Plus(Times(C2,m),C1)),Times(CN1,a,d,Plus(m,Negate(n),Negate(C1)))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,a,Plus(ASymbol,CSymbol),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1)),Times(Power(Times(b,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,Plus(Times(a,c,Plus(m,C1)),Times(CN1,b,d,Plus(Times(C2,m),n,C2)))),Times(CN1,CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(Plus(Times(a,ASymbol,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,Plus(Times(C2,m),C1)),Times(CN1,a,d,Plus(m,Negate(n),Negate(C1)))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),CN1D2)),x_Symbol),
    Condition(Plus(Times(CN2,CSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(Times(C2,m),C3),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1)),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Simp(Plus(ASymbol,CSymbol,Times(BSymbol,Sin(Plus(e,Times(f,x))))),x),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),CN1D2)),x)),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),CN1D2)),x_Symbol),
    Condition(Plus(Times(C2,CSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(Times(C2,m),C3),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1)),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Simp(Plus(ASymbol,CSymbol,Times(BSymbol,Cos(Plus(e,Times(f,x))))),x),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),CN1D2)),x)),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),CN1D2)),x_Symbol),
    Condition(Plus(Times(CN2,CSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(Times(C2,m),C3),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1)),Times(Plus(ASymbol,CSymbol),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),CN1D2)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),CN1D2)),x_Symbol),
    Condition(Plus(Times(C2,CSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(Times(C2,m),C3),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1)),Times(Plus(ASymbol,CSymbol),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),CN1D2)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(CN1,BSymbol,c,d),Times(ASymbol,Sqr(d))),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(b,d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(Plus(Times(c,CSymbol),Times(CN1,BSymbol,d)),Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(b,Plus(Times(d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),RationalQ(n)),Less(n,CN1)),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(Sqr(c),CSymbol),Times(CN1,BSymbol,c,d),Times(ASymbol,Sqr(d))),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(b,d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(Plus(Times(c,CSymbol),Times(CN1,BSymbol,d)),Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(b,Plus(Times(d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),RationalQ(n)),Less(n,CN1)),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(ASymbol,Sqr(d))),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(b,d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(c,CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(CN1,b,Plus(Times(ASymbol,Sqr(d),Plus(m,n,C2)),Times(CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),RationalQ(n)),Less(n,CN1)),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(Sqr(c),CSymbol),Times(ASymbol,Sqr(d))),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(b,d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(c,CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(CN1,b,Plus(Times(ASymbol,Sqr(d),Plus(m,n,C2)),Times(CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),RationalQ(n)),Less(n,CN1)),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(b,d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,b,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(Plus(Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1)))),Times(b,BSymbol,d,Plus(m,n,C2))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),NonzeroQ(Plus(m,n,C2))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(b,d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,b,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(Plus(Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1)))),Times(b,BSymbol,d,Plus(m,n,C2))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),NonzeroQ(Plus(m,n,C2))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(b,d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,b,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),NonzeroQ(Plus(m,n,C2))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(b,d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,b,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))),NonzeroQ(Plus(m,n,C2))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(CN1,BSymbol,c,d),Times(ASymbol,Sqr(d))),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(b,d,m),Times(a,c,Plus(n,C1)))),Times(Plus(Times(c,CSymbol),Times(CN1,BSymbol,d)),Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,Plus(Times(d,Plus(Times(ASymbol,Plus(Times(a,d,Plus(n,C2)),Times(CN1,b,c,Plus(n,C1)))),Times(BSymbol,Plus(Times(b,d,Plus(n,C1)),Times(CN1,a,c,Plus(n,C2)))))),Times(CN1,CSymbol,Plus(Times(b,c,d,Plus(n,C1)),Times(CN1,a,Plus(Sqr(c),Times(Sqr(d),Plus(n,C1))))))),Sin(Plus(e,Times(f,x)))),Times(b,Plus(Times(d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C0)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(Sqr(c),CSymbol),Times(CN1,BSymbol,c,d),Times(ASymbol,Sqr(d))),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(b,d,m),Times(a,c,Plus(n,C1)))),Times(Plus(Times(c,CSymbol),Times(CN1,BSymbol,d)),Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,Plus(Times(d,Plus(Times(ASymbol,Plus(Times(a,d,Plus(n,C2)),Times(CN1,b,c,Plus(n,C1)))),Times(BSymbol,Plus(Times(b,d,Plus(n,C1)),Times(CN1,a,c,Plus(n,C2)))))),Times(CN1,CSymbol,Plus(Times(b,c,d,Plus(n,C1)),Times(CN1,a,Plus(Sqr(c),Times(Sqr(d),Plus(n,C1))))))),Cos(Plus(e,Times(f,x)))),Times(b,Plus(Times(d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C0)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(ASymbol,Sqr(d))),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(b,d,m),Times(a,c,Plus(n,C1)))),Times(c,CSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,Plus(Times(ASymbol,d,Plus(Times(a,d,Plus(n,C2)),Times(CN1,b,c,Plus(n,C1)))),Times(CN1,CSymbol,Plus(Times(b,c,d,Plus(n,C1)),Times(CN1,a,Plus(Sqr(c),Times(Sqr(d),Plus(n,C1))))))),Sin(Plus(e,Times(f,x)))),Times(CN1,b,Plus(Times(ASymbol,Sqr(d),Plus(m,n,C2)),Times(CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C0)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(Sqr(c),CSymbol),Times(ASymbol,Sqr(d))),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,d,Plus(Times(b,d,m),Times(a,c,Plus(n,C1)))),Times(c,CSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,Plus(Times(ASymbol,d,Plus(Times(a,d,Plus(n,C2)),Times(CN1,b,c,Plus(n,C1)))),Times(CN1,CSymbol,Plus(Times(b,c,d,Plus(n,C1)),Times(CN1,a,Plus(Sqr(c),Times(Sqr(d),Plus(n,C1))))))),Cos(Plus(e,Times(f,x)))),Times(CN1,b,Plus(Times(ASymbol,Sqr(d),Plus(m,n,C2)),Times(CSymbol,Plus(Times(Sqr(c),Plus(m,C1)),Times(Sqr(d),Plus(n,C1))))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C0)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(Plus(Times(d,Plus(Times(ASymbol,b),Times(a,BSymbol)),Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(a,c),Times(CN1,b,d,Plus(m,n,C1))))),Sin(Plus(e,Times(f,x)))),Times(Plus(Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1)))),Times(b,BSymbol,d,Plus(m,n,C2))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C0)),Not(And(And(IntegerQ(n),Greater(n,C0)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(Plus(Times(d,Plus(Times(ASymbol,b),Times(a,BSymbol)),Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(a,c),Times(CN1,b,d,Plus(m,n,C1))))),Cos(Plus(e,Times(f,x)))),Times(Plus(Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1)))),Times(b,BSymbol,d,Plus(m,n,C2))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C0)),Not(And(And(IntegerQ(n),Greater(n,C0)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(a,c),Times(CN1,b,d,Plus(m,n,C1))))),Sin(Plus(e,Times(f,x)))),Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C0)),Not(And(And(IntegerQ(n),Greater(n,C0)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C2)),-1)),Times(Power(Times(d,Plus(m,n,C2)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n,C2)),Times(CSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,n,C2)),Times(CN1,CSymbol,Plus(Times(a,c),Times(CN1,b,d,Plus(m,n,C1))))),Cos(Plus(e,Times(f,x)))),Times(CSymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C0)),Not(And(And(IntegerQ(n),Greater(n,C0)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(b,-2),Int(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Power(b,-2),Int(Times(Plus(Times(ASymbol,Sqr(b)),Times(CN1,Sqr(a),CSymbol),Times(b,Plus(Times(b,BSymbol),Times(CN1,C2,a,CSymbol)),Sin(Plus(e,Times(f,x))))),Power(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(b,-2),Int(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Power(b,-2),Int(Times(Plus(Times(ASymbol,Sqr(b)),Times(CN1,Sqr(a),CSymbol),Times(b,Plus(Times(b,BSymbol),Times(CN1,C2,a,CSymbol)),Cos(Plus(e,Times(f,x))))),Power(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(b,-2),Int(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Power(b,-2),Int(Times(Plus(Times(ASymbol,Sqr(b)),Times(CN1,Sqr(a),CSymbol),Times(CN1,C2,a,b,CSymbol,Sin(Plus(e,Times(f,x))))),Power(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(b,-2),Int(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Power(b,-2),Int(Times(Plus(Times(ASymbol,Sqr(b)),Times(CN1,Sqr(a),CSymbol),Times(CN1,C2,a,b,CSymbol,Cos(Plus(e,Times(f,x))))),Power(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(a,ASymbol),Times(CN1,b,BSymbol),Times(a,CSymbol))),Times(d,Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Plus(m,n,C2)),Times(CN1,Plus(Times(c,Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol))),Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,b),Times(CN1,a,BSymbol),Times(b,CSymbol)))),Sin(Plus(e,Times(f,x)))),Times(CN1,d,Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Plus(m,n,C3),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1)),Not(And(And(IntegerQ(n),Less(n,CN1)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(a,ASymbol),Times(CN1,b,BSymbol),Times(a,CSymbol))),Times(d,Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Plus(m,n,C2)),Times(CN1,Plus(Times(c,Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol))),Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,b),Times(CN1,a,BSymbol),Times(b,CSymbol)))),Cos(Plus(e,Times(f,x)))),Times(CN1,d,Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Plus(m,n,C3),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1)),Not(And(And(IntegerQ(n),Less(n,CN1)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(ASymbol,CSymbol)),Times(d,Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Plus(m,n,C2)),Times(CN1,Plus(Times(c,Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol))),Times(b,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(ASymbol,CSymbol))),Sin(Plus(e,Times(f,x)))),Times(CN1,d,Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Plus(m,n,C3),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1)),Not(And(And(IntegerQ(n),Less(n,CN1)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(ASymbol,CSymbol)),Times(d,Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Plus(m,n,C2)),Times(CN1,Plus(Times(c,Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol))),Times(b,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(ASymbol,CSymbol))),Cos(Plus(e,Times(f,x)))),Times(CN1,d,Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Plus(m,n,C3),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1)),Not(And(And(IntegerQ(n),Less(n,CN1)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,x,Power(Times(b,d),-1)),Times(Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Power(Times(b,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),-1),x)),Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(CN1,BSymbol,c,d),Times(ASymbol,Sqr(d))),Power(Times(d,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),-1),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,x,Power(Times(b,d),-1)),Times(Plus(Times(ASymbol,Sqr(b)),Times(CN1,a,b,BSymbol),Times(Sqr(a),CSymbol)),Power(Times(b,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),-1),x)),Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(CN1,BSymbol,c,d),Times(ASymbol,Sqr(d))),Power(Times(d,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),-1),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,x,Power(Times(b,d),-1)),Times(Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Power(Times(b,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),-1),x)),Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(ASymbol,Sqr(d))),Power(Times(d,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),-1),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,x,Power(Times(b,d),-1)),Times(Plus(Times(ASymbol,Sqr(b)),Times(Sqr(a),CSymbol)),Power(Times(b,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),-1),x)),Times(CN1,Plus(Times(Sqr(c),CSymbol),Times(ASymbol,Sqr(d))),Power(Times(d,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),-1),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(Times(b,d),-1),Int(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),x)),Times(CN1,Power(Times(b,d),-1),Int(Times(Simp(Plus(Times(a,c,CSymbol),Times(CN1,ASymbol,b,d),Times(Plus(Times(b,c,CSymbol),Times(CN1,b,BSymbol,d),Times(a,CSymbol,d)),Sin(Plus(e,Times(f,x))))),x),Power(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Plus(c,Times(d,Sin(Plus(e,Times(f,x)))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(Times(b,d),-1),Int(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),x)),Times(CN1,Power(Times(b,d),-1),Int(Times(Simp(Plus(Times(a,c,CSymbol),Times(CN1,ASymbol,b,d),Times(Plus(Times(b,c,CSymbol),Times(CN1,b,BSymbol,d),Times(a,CSymbol,d)),Cos(Plus(e,Times(f,x))))),x),Power(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Plus(c,Times(d,Cos(Plus(e,Times(f,x)))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(Times(b,d),-1),Int(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),x)),Times(CN1,Power(Times(b,d),-1),Int(Times(Simp(Plus(Times(a,c,CSymbol),Times(CN1,ASymbol,b,d),Times(Plus(Times(b,c,CSymbol),Times(a,CSymbol,d)),Sin(Plus(e,Times(f,x))))),x),Power(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Plus(c,Times(d,Sin(Plus(e,Times(f,x)))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Power(Times(b,d),-1),Int(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),x)),Times(CN1,Power(Times(b,d),-1),Int(Times(Simp(Plus(Times(a,c,CSymbol),Times(CN1,ASymbol,b,d),Times(Plus(Times(b,c,CSymbol),Times(a,CSymbol,d)),Cos(Plus(e,Times(f,x))))),x),Power(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Plus(c,Times(d,Cos(Plus(e,Times(f,x)))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,Cos(Plus(e,Times(f,x))),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x)))))),Power(Times(d,f,Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))))),-1)),Times(Power(Times(C2,d),-1),Int(Times(Power(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1),Simp(Plus(Times(C2,a,ASymbol,d),Times(CN1,CSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,C2,Plus(Times(a,c,CSymbol),Times(CN1,d,Plus(Times(ASymbol,b),Times(a,BSymbol)))),Sin(Plus(e,Times(f,x)))),Times(Plus(Times(C2,b,BSymbol,d),Times(CN1,CSymbol,Plus(Times(b,c),Times(a,d)))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Sin(Plus(e,Times(f,x))),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x)))))),Power(Times(d,f,Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))))),-1)),Times(Power(Times(C2,d),-1),Int(Times(Power(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1),Simp(Plus(Times(C2,a,ASymbol,d),Times(CN1,CSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,C2,Plus(Times(a,c,CSymbol),Times(CN1,d,Plus(Times(ASymbol,b),Times(a,BSymbol)))),Cos(Plus(e,Times(f,x)))),Times(Plus(Times(C2,b,BSymbol,d),Times(CN1,CSymbol,Plus(Times(b,c),Times(a,d)))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CN1,CSymbol,Cos(Plus(e,Times(f,x))),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x)))))),Power(Times(d,f,Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))))),-1)),Times(Power(Times(C2,d),-1),Int(Times(Power(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1),Simp(Plus(Times(C2,a,ASymbol,d),Times(CN1,CSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,C2,Plus(Times(a,c,CSymbol),Times(CN1,ASymbol,b,d)),Sin(Plus(e,Times(f,x)))),Times(CN1,CSymbol,Plus(Times(b,c),Times(a,d)),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(CSymbol,Sin(Plus(e,Times(f,x))),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x)))))),Power(Times(d,f,Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))))),-1)),Times(Power(Times(C2,d),-1),Int(Times(Power(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1),Simp(Plus(Times(C2,a,ASymbol,d),Times(CN1,CSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,C2,Plus(Times(a,c,CSymbol),Times(CN1,ASymbol,b,d)),Cos(Plus(e,Times(f,x)))),Times(CN1,CSymbol,Plus(Times(b,c),Times(a,d)),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Integrate(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Plus(ASymbol,Times(BSymbol,Sin(Plus(e,Times(f,x)))),Times(CSymbol,Sqr(Sin(Plus(e,Times(f,x))))))),x),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Integrate(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Plus(ASymbol,Times(BSymbol,Cos(Plus(e,Times(f,x)))),Times(CSymbol,Sqr(Cos(Plus(e,Times(f,x))))))),x),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Integrate(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Plus(ASymbol,Times(CSymbol,Sqr(Sin(Plus(e,Times(f,x))))))),x),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(C_DEFAULT,Sqr($($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Integrate(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Plus(ASymbol,Times(CSymbol,Sqr(Cos(Plus(e,Times(f,x))))))),x),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,CSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d)))))))
  );
}
